Перевод: со всех языков на русский

с русского на все языки

infinite signature

См. также в других словарях:

  • Infinite Jest — Infobox Book name = Infinite Jest title orig = translator = author = David Foster Wallace cover artist = country = flagicon|USA United States language = English genre = Hysterical realism, Satire, Tragicomedy, Science Fiction publisher = Little,… …   Wikipedia

  • Signature (logic) — In logic, especially mathematical logic, a signature lists and describes the non logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures… …   Wikipedia

  • Signature of a knot — The signature of a knot is a topological invariant in knot theory. It may be computed from the Seifert surface.Given a knot K in the 3 sphere, it has a Seifert surface S whose boundary is K . The Seifert form of S is the pairing phi : H 1(S) imes …   Wikipedia

  • Anna to the Infinite Power — Infobox Film name = Anna to the Infinite Power caption = director = Robert Weimer writer = Robert Weimer Mildred Ames starring = Martha Byrne Dina Merrill Mark Patton Donna Mitchell Jack Gilford producer = Bruce Graham Ned Kandel (Executive… …   Wikipedia

  • Visa Signature — – карта премиальной категории платежной системы Visa для особо состоятельных клиентов. По своим характеристикам близка к карте Visa Infinite. Большая часть привилегий связана с путешествиями. Например, держатель карты получает в гостиницах лучшую …   Банковская энциклопедия

  • Le Chien et le Chat — Signature d’Hébert. Le Chien et le Chat est un périodique publié en 1790 par Jacques René Hébert. D’après un prospectus inséré dans le no 2, le journal qu’Hébert entreprit de fonder immédiatement après le Petit Carême de l’abbé Maury et… …   Wikipédia en Français

  • List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …   Wikipedia

  • Elementary class — In the branch of mathematical logic called model theory, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first order theory. Contents 1 Definition 2 Conflicting and alternative terminology …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»